newRPL - build 1255 released! [updated to 1299]

[Claudio L.]

All ROMs and Android port were updated to build 1261 with various bug fixes.

Also, the 39gs target is compiled with Thumb mode, which reduced the size and now it CAN be safely flashed again!! It takes 837kbytes, with the only down side of a slight performance penalty.
For example, NQUEENS test by Xerxes runs 0.134 sec instead of 0.106, more than 25% slower but it's a small price to pay vs. not being able to run newRPL at all.
Other targets (40gs and 50g) did not switch to Thumb mode for this reason.

As usual, test, report bugs and over all... enjoy!