Huge update to gerpush:

- Make it optional to push to 4 rom gerrits.
- Store the data in config files.
- Asks username if the data file doesn't exist.
- Doesn't try to push if the repository doesn't have git initialized.
- More to come.