New: Changes for Release 1.2.5

Refer to VERSION_HISTORY.md for more details.
Merge branch 'master' into devel_2
Merge branch 'devel_2' into diss_sigs
Merge branch 'diss_sigs' of github.com:ELVIS-Project/vis into diss_sigs