Add some git aliases
Remove ghci overloaded lists pragma
Enable globstar in bash