Move everything to GitHub #15

Everything related to MIPTools (the program itself, related software libraries, documentation and tutorials, even non-developer functions like error reporting and feature requests) should ultimately be put on the GitHub page so that everything is visible and cohesive.

Here is a list of all the external sources I know of:

• Google Doc for feature requests (https://docs.google.com/document/d/1GQajbKtOC5kagDoZqfmjH1GAAt-4seJKQcC0bqwku-c/edit?usp=sharing)