Added timeout for compilation / verification.
This is too prevent compilation from taking ridiculously long.
Merge branch 'master' of https://github.com/DavePearce/WhileyWeb
Copying verification timeout to new compile function. Thank goodness I didn't delete the code as that would've made this harder.