set version number to 10.1 and update PDF of software manual

6 jobs for master in 14 minutes and 11 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #18592
macos
build_macos

00:04:43

passed #18593
ubuntu1604
build_ubuntu1604

00:01:17

passed #18594
ubuntu1804
build_ubuntu1804

00:01:29

passed #18595
ubuntu1804-gcc8
build_ubuntu1804-gcc8

00:01:34

passed #18596
vc191x
build_vc191x

00:14:11

passed #18597
vc192x
build_vc192x

00:12:54