A python frontend for ghdl