Get rid of EXTRA_PLUGINS

It used to contain planetoid, mustache, whatever and ipython notebook support.

Some plugins are now out of core, notebooks are mature, so let's kill it.