Add a basic feature to sort mappings by priority

- made-up numbers in the table, all the same
- not actually doing any sorting
- sort option only shows up on the non-js filter page
Remove extraneous space