extensions: Remove alternate-tab extensions

As outlined in a recent blog post, the extension no longer servers a purpose.

While at it, also get rid of the example extension that's not really useful to anyone either.