Faster default, moving dialyzing to travis or whoever runs all.
Update the instructions on how to make PropEr
Add 17.1 in the list of Erlang versions to test
Merge pull request #89 from th0114nd/master

Faster default, moving dialyzing to travis or whoever runs all.
Merge branch 'master' of github.com:manopapad/proper