Increase version number to 9.2 and update PDF version of software manual

6 jobs for master in 10 minutes and 8 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #14897
macos
build_macos

00:03:55

passed #14898
ubuntu1604
build_ubuntu1604

00:00:36

passed #14899
ubuntu1804
build_ubuntu1804

00:04:21

passed #14900
ubuntu1804-gcc8
build_ubuntu1804-gcc8

00:04:54

passed #14901
vc191x
build_vc191x

00:10:08

passed #14902
vc192x
build_vc192x

00:09:23