Swap MIT for Heimdal in travis builds (Heimdal is less likely to be tested locally)