Fix bugs in substitute, replaceLUT, added verifyLUT. Fixed various bugs as well
Modified dot2g script to name input ports
Last stable Version. Preparing Major Revision