Minor updates

- Use HTTPS for syncing sources (git not allowed by googlecode, seems)
- Adjust git user stuff to MMB