pushversion.sh: removing TODO, BUGS and ChangeLog