Add documentation of myhdl