Manually add known host, because Travis doesn't do it for PRs.
Have builds be deployed with a commit hash instead.
Merge pull request #28 from wei2912/deploy-on-pr

Manually add known host, because Travis doesn't do it for PRs.
Merge branch 'develop' of github.com:learnmath/lysa into f/peano