AVR core version bump

Update revisions.txt

Update revisions.txt

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