modify version number

0.1.3 --> 0.1.4
Merge pull request #3128 from diceit/ide-ensime-014

modify version number for ensime in doc
Use maybeApplication in CSRF and Crypto