Bump version in develop to 1.4.2-SNAPSHOT