Eclipse plugin for CBMC and FShell