Initial commit for github
Preparing a first push to github