Add the possibility to edit git server information

Also uses jgit 3.6
Bump to v1.2.0.7
Give me a cookie :)
solves a bug where we were unable to clone/pull
enable the users to delete the repository
fixes #52
Filter the passwords recursively, useful to search through the passwords from the root

fixes #40
Added preference to disable recursive filtering
removed a dangerous log...
formmating issue
Merge pull request #53 from zeapo/feature/recursive-filtering

Filter the passwords recursively
pull requests are more than welcome
typo
typo again...
bump version and make versioncode similar to name
added link to android-arsenal
corrected android arsenal badge
Added Gitter badge
Merge pull request #54 from gitter-badger/gitter-badge

Add a Gitter chat badge to README.md
move tags down