Add support for Annotation tooltips with HTML markup

Change-Id: I6a627870fb4f4c881ee6f70483a450e0adf50758
Updated IDE to use Android Gradle plug-in v0.13.0.

Change-Id: I4b3f3667365cd2bf1048f9c5acada825e1d0ba8b
Merge "Updated IDE to use Android Gradle plug-in v0.13.0." into idea133
Snapshot idea/135.1286 from git://git.jetbrains.org/idea/community.git

a223e43: fixed ideaIC mac sit and dmg
fc7066d: fixed issue with mac launcher location and classpath
4c0f217: IDEA-128247 Make sure OS X Developer ID signature is made on OS X 10.9
53ea02e: Gradle: use application level for gradle system setting related issue: IDEA-128535 Global Gradle Settings aren't global (cherry picked from commit 4e894cc)
5fbdf04: external system: add system.settings title (e.g. Global Gradle settings) only if the external system provides system level settings (cherry picked from commit 98ce798)

Change-Id: I84bf0124f530a3c34667e0a5d2bee1a322e7d9f8
Merge remote-tracking branch 'aosp/upstream-133' into merge

Conflicts:
	build/scripts/dist.gant

Change-Id: I4d2dcaada3cf7aae426c4fe9995f60bbd5ad8fb0
Merge "Merge remote-tracking branch 'aosp/upstream-133' into merge" into idea133
Merge "Add support for Annotation tooltips with HTML markup" into idea133
Trim description while constructing it as part of a URL

Change-Id: I30948497777c6980f9ce6ec9a98fe1294c82d1f0
Merge "Trim description while constructing it as part of a URL" into idea133