Quick priority tool

Much like the pause or demolish tools that allow successive selection of buildings, add a similar button for setting/unsetting priority. Could also use a click and drag to set on multiple buildings within an area.