Put Linux back in travis ci os list.