2018.7.1
2018.7.1 release (#2235) * Bump version number * Touch up news entries * Update changelog * 2018.7.1 release for new language server
2018.7.1 release (#2235) * Bump version number * Touch up news entries * Update changelog * 2018.7.1 release for new language server