Relative to 0.1.3, this release contains only bug fixes and infrastructure work, as well as a merge with the latest IntelliJ 13 development branch.  

(0.1.4 had a blocking bug so we did not release it.)