Version update

1. 4.0a -> 4.0b
2. Added option for build without GMP