Added git_push.sh script
Added a workaround to allow pushing to git repos over ssh
Modified fixterm function a bit (shouldn't hang to quickly anymore?)