Updated revisions.txt

Updated revision log

Updated build_pull_request.bash

Merge branch 'ide-1.5.x' of github.com:arduino/Arduino into ide-1.5.x

Merge branch 'ide-1.5.x' of github.com:arduino/Arduino into ide-1.5.x…

…-java7

Added support for retina display on macosx

Fix arduino#2309

Ignoring GNOME .directory files

Merge branch 'master' into ide-1.5.x. Updated revision log.

Conflicts:
	build/shared/examples/09.USB/Keyboard/KeyboardLogout/KeyboardLogout.ino
	hardware/arduino/boards.txt

Updated macosx-java7 bundle to 1.5.8

Merge tag '1.5.8' into ide-1.5.x-java7

Updated revision log. Version upped to 1.0.6.