Revert "Version update"

This reverts commit 758e567a59d5b302406a7ee125e3788d0e0be6cc.
Version update

1. 4.0a -> 4.0b
2. Added option for build without GMP library (+ suggestion by humdedum
about :recommended)