disable wartremover by default, for faster compiles (Fixes #390)

wartremover will still be used in Jenkins and Travis. To enable it locally, just set `ENABLE_WARTREMOVER` to anything.

This speeds up compile times by about 4x.