Set up travis + add linting
Added production password to encrypted ansible-vault file
Added production servers to configuration
Refactored the klee worker code and formatted the output
Added reduced deploy only ansible provision script
Update README.md
Fixed travis lint issues
Now able to submit files to KLEE
Create circle.yml