Add `NFData` instance for `Proxy`
Update `.gitignore` and tweak Travis CI Job

`--force-reinstalls` to avoid failures for GHC HEAD