Added LabK1.v and a new package for verilog and LabK