set release date in NEWS
bump debian changelog to 1.4.2