ROTATE image option

settings.py

@@ -31,7 +31,11 @@ EPOCH = date.fromisoformat('1970-01-01')
 # default value, then gets overwritten by real secrets
 SECRET_KEY = "not-the-real-secret-key-a#vaeozn0---^fj!355qki*vj2"
 
+# executables:
 GIT = "git"  # command for running git
+CAVERN = "cavern"  # for parsing .svx files and producing .3d files
+SURVEXPORT = "survexport"  # for parsing .3d files and producing .pos files
+MOGRIFY = "mogrify" # for rotating images
 
 # Note that this builds upon the django system installed
 # global settings in