Revert "Use mr.developer for travis."

This reverts commit 2752a58169540b997c148a057765a7660111eb27.