don't build Proxy on 7.7
Don't export Proxy on GHC 7.7
updated .gitignore