problem with DS18B20

@Gordon
Now all 4 board's with both DS18B20, works with this rev.

{"VERSION": "1v47", "BUILD_DATE": "January 27 2014","BUILD_TIME":"15:40:43",
"BOARD":"ESPRUINOBOARD","CHIP":"STM32F10­3RCT6",
"CHIP_FAMILY":"STM32F1","FLASH":262144,"­RAM":49152}

I saw it with github, and it worked, changed path to the EABI, did a make and a make serialflash, you are the man of the day.