Release as stable 4.0.0
To get the APIs out of beta-phase, and to uncouple our versioning scheme from GnuTLS, let's release 4.0.0 as stable. It is a bit confusing that the versions look similar to GnuTLS versions but are no longer related in any meaningful way. Bumping it to 4.0.0 makes this clearer.