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