SpiSdCard: cosmetic changes
DeTool.py: don't generate any comments in sd card mode
PrinterMain: some redesign in preparation for SD card printing.
Allow the presence of multiple gcode sources, i.e. channels, and
implement locking to avoid unwanted interference.
Some initial SD card support.
Only printing from sequential blocks (no filesystem). Not enabled by default.