Switch Gits default push behaviour to simple

Now simply tries to push the current branch to the upstream branch, if
and only if they have the same name.
Simplify setting of Git user name and email

Use `git config` instead of directly editing the file.
Improve software installation

Now only installs software that's not currently installed.
Add pidgin, jdk7 and maven to prerequisites