CSS rewrite for 'Shortcut Edit' dialog

CSS and HTML changes only. Tested in Firefox & Chrome.
JS for changing the sort button label
Fixing the positioning of the popup dialog

Instead of using hardcoded width, get the actual size of the div, then
add space for scrollbar.
Fixed script and made CSS more persistent

Works flawlessly except for some pre-existing issues with the sorting.
migrate: Fix old default value of colorCommentScore
migrate: Force a migration for v4.5.0.3

Fixes #1411.
Use relative positioning for video player instead of absolute
Version 4.5.0.2-j3
Don't select images when expanding them

Adds '-X-user-select: none' to expando image icon so you don't
accidentally select the image below.

Also, 'user-select' is not a recognised property, use browser prefixes
instead.
Merge pull request #1434 from githue/showImageNoSelect

Don't select images when expanding them
showNotification() defers showing notification until document.body is ready
migrate errors should show stack trace
mark all migrations done on fresh installs
4.5.0.2 didn't set RESOptionsVersion for fresh installs
show notification about voteEnhancementsoptions.colorCommentScore getting reset to default

fixes bad 4.5.0.1 migration
RESOptionsMigrate.general.forceUpdateOption

it'll be necessary sooner or later
don't do any migrations if a previous migration broke the RESOptionsVersion value
colorCommentScore migrator handles default, non-default, and v4.5.0.1 bug
nightMode: Remove unused head
Search RES Settings: show number of results

Calculate the number of results and report it to the user as "5 results
for yourSearchTerm". Checks whether advanced options should be included
or not.