Rename extensions to plugins, since extensions reminds me of parts of filenames

--HG--
rename : coverage/extension.py => coverage/plugin.py
More-serious plugin support