Wrap up migration to github #1
Description
Known issues remaining:
- Static information pages ( Static Information Pages #2 ) e.g. Marketing, Tutorial, and Developer Engagement documents
- Dynamic pages e.g. 'Live update checking' and bug reports. (Web API to replace updates.php openrocket/openrocket#260)
- Hosting of Binaries ( Hosting of Binaries #3 )
- Build and DevOps- HTML Proofer CI with Travis
- Coordinate the move of the Thesis ( Bugfixes openrocket/openrocket#4 )