Adding NerdCommenter plugin