Changed <ul> into <ol> and changed <div><a></a></div> into <button> tags.
Fixed a bug where profile name was too long in options.html and bled into right section.
Put window.close() calls inside chrome.tabs API callbacks.
Added Settings.shouldSyncProfiles() function.
Fix sync since it didn't like a plain for loop
Fixed bug where RDF importing never cleared previously stored profiles when localStorage["synced_profiles"] existed to be restored from.
Syntax cleanup for import.js, no functional change
Fixed importRdf() function to behave a little nicer to work around a fun Heisenbug the RdfImporter.saveProfiles() function has.
Fixed formatting of options.js file.
Removed .prop("checked") === true checks since they are already directly Boolean since a past jQuery update.
Merge pull request #116 from heavensrevenge/6-update4a

6 update4a - Fixed a few more bugs & some options.html changes