From http://www.wprecipes.com/wordpress-tip-check-whether-a-plugin-is-active