Merge pull request #33 from avsm/master

single worker script
shut up SIGPIPE
Correct ARMv6L Host ident
github repo state path construction
Linux/Armv6l tasks (rpi aka raspberry pi aka raspbian)
install_deps.sh now takes args for opam
Add Armv6l to the Host interface
Removed unused exn
Fix missing vars
fix css typo
Move formatting to the server; store and send original logs; easily allow re-analysis
sleep more