How to install webstorm .jar theme