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

Fix read() issue when other end closes the connection

This fixes an issue with read returning -1 immediately if the other
end has closed the connection. Now it returns data as long as there
is data in the buffer regradless of being connected or not.

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.

Release 0101E0013