Version bump to v4.0.1

Stable version 4.0.0

https://github.com/jquery/esprima at c0dfa42da4da9fa242dac623278a082cb38edc20

Version bump to v4.0.0-dev.12

Version bump to v4.0.0-dev.11