Add numbering to portals list

1. Added numbering to the portals-list.user.js. Useful when you whant to determine how many portals we have above certain criteria after sorting (e.g. How many portals older that 20 days on map when sorting by Age).
2. Increased portals-list dialog width to 830px.  Now we have enough width to fit line width with number 9999.