Adding travis options