v1.3.1 catch up with changes from PrintPY2040

Catches up with a change I made for the (now released) PrintPY2040 project @ https://github.com/easytarget/PrintPy2040

• Timings are now handled internally as ticks_us rather than ticks_ms
• Also remove the PrintPY prototype tree
• A few documentation fixes