Terminal removed, now a plugin

It's not a core part of a code editor, so moved back to being a plugin
again
Terminal link and function removed

It's now an installable plugin