Add colours to Travis bot

This shouldn't be a very controversial change.

On another note, the Travis bot doesn't allow for disabling branches. Hence, to keep it consistent, can we enable all branches for the GitHub bot?