update ChangeLog entries (partly automatically)
added python script to retrieve automatically issue list from a
milestone/release to then add it to the ChangeLog
Fix compilation on PETSc 3.1 (Ubuntu Precise)
Fix compilation on Ubuntu Precise/Trusty
bump up version