Python-based tools for the Parallax Propeller 1 Verilog