fpco-api-1.2.0.2: Simple interface to the FP Complete IDE API.