Web service interface to HERMIT GHC Plugin