Migrate to GitHub

Migrate source control to GitHub for potentially easier contributions and higher availability. This has been discussed between Kshitij and Yuto for a while and we're both in agreement. All that's pending is to find a time to do it.

I've assigned it to myself since I foresee some availability starting the 18th of April for about a week.