Shake.hs: make number of threads configurable, and add some logging
travis: run Shake on multiple cores