bump patch level, update release notes, clean up
merge
fix man install path
release notes
remove mutable member from GNAT
doc fixes
doc fix
ignore scripts for contrib py-bindings
doc update
update cpack settings