Merge pull request #39 from klee-web/options

sym-files and sym-args can be given in a user-friendly way
Update ansible inventory
Added example selections
Merge pull request #40 from klee-web/examples

Added example selections
Project structure rejiggering
Run klee as non-root user
Merge pull request #41 from klee-web/fat_refactor

Project structure rejiggering
Merge pull request #42 from klee-web/docker_non_root

Run klee as non-root user
Fix unicode submissions
Increase deploy timeout
Merge pull request #43 from klee-web/unicode_fixes

Fix unicode submissions
Added ability to manage examples in admin
Fix argument handling
Merge pull request #44 from klee-web/database_examples

Added ability to manage examples in admin
Admin with empty task database
Make file to checkbox