Merge branch 'bug/239' into 'master'

Actually remove enabled extensions from ignore list

When we enable a plugin (when it's provided in the --enable-extensions)
plugin, we need to remove it both from the extended default ignore list
and the plain ignore list.

Closes #239 

cc @warsaw

See merge request !138