WordPress plugin that can reactivate the current theme, for development purposes.