More docs

Besides the docs, I've bumped the IDEA supported version to 133.144.2, marked the source builds as Java 7.

This also means that we can use Java 7 for plugin now but we need to confirm with JetBrains what version of Java will be officially supported by IDEA 14, if we can bump it to Java 1.8 or we stay with 7.