Added automatic ports to thxscan and Thxgen; cleaned up summary display in Thxgen; added TestInfQ test case