Fix Github issue 2

- Checked whether remote branch master existed. If empty repo, it won't,
so we just need to push what we got
- Checked whether we had a LOCAL master branch. Can't push to remote if
we're not in a Git repo at all.
- Added some things to .gitignore for eclipse projects