Migrated to html file. Post tagging is visually indicated

Since we're not using PHP (Was replaced by Node.js and Socket.io a few
days in), the file now bears .html extension.
Tag buttons are given color when the tagging action is complete.