Added the JSlint and Slime plugins