Removed destructor from File.cpp and SD.h as it leads to unexpected close/destructed objects #814
Update readme.txt
Display line numbers for the file being edited
add preference to enable/disable line numbers

add preference to enable/disable line numbers and make font change work
Added pinToInterrupt() variant macro (Paul Stoffregen)
Added digitalPinToInterrupt also to robot variants
Using NOT_AN_INTERRUPT defined constant
Render line numbers using TextAreaPainter

Fix the line number font rendering problem on the Mac.

Now, the TextAreaLineNumbers class extends the TextAreaPainter and just
overloads the paintLine method to make it render the line number instead
of rendering the whole line. Other than that, the superclass' drawing
code is used.

So: the same drawing code that renders the source code text in the
editor is now also being used to render the line numbers.
Added Arduino Ethernet variant.

Fixes #925
Merge branch 'master' into ide-1.5.x
Added LED_BUILTIN constant to Leonardo board
Changed LED_BUILTIN to a macro to better support boards that do not have a built-in LED.

Fixes #758
Merge branch 'master' into ide-1.5.x
Added LED_BUILTIN definition to Arduino Due
Reference libraries in hardware addons when they reference another core.

Fixes #1445
Help 3rd party installers find the hardware path
Merge branch 'cayci-master'
Merge branch 'master' into ide-1.5.x
Merge branch 'ide-1.5.x' into ide-1.5.x-jssc