Updated machado, deleted program explorer plugin (now a node module in macahdo).