Various changes, se detailed description

Faster (>6Mbytes/min), more reliable file uploading, with reporting and graceful recovery if an upload fails.
All web files and config files can also be uploaded.
Temperature-setting buttons can be used during a print from SD card.
More accurate (usually!) estimate of print completion time, based on filament consumption.
The machine name is displayed.
The filament requirement and object height are fetched automatically from the SD card file being printed, for use in estimating the completion time.
Works with FireFox as well as Chrome.
"Upload & Print" button (replaces direct web print button, uploads to the SD card first for more reliable printing).
Extruder box reports total filament extruded, not the amount extruded in the last move.
Additional status Halted is shown (if emergency stop has been used) as well as Ready and Active.