Activate pitest on travis build.

Note that this will significantly increase the build time. Let's see how it works and if we need to cut it back.

Also note that the pitest-history.xml is used to speed up analysis. It is not updated at each build but need to be updated manually.