fix for os x curl
Merge branch 'gh-pages' of github.com:antlr/website-antlr4 into gh-pages