Add .travis.yml
Pick out mixedProperly logics, rename old mixedProperly to mixingProperly