travis: Use mpich2.