Chortle: A Technology Mapping Program for Lookup Table-Based Field Programmable Gate Arrays