ChangeLog, NEWS, README, bootstrap -- tidy up for github