Porting to github, mostly initial