bump version; travis-ci push