fix #8950 - render `public_transport=platform` as areas

git-svn-id: http://josm.openstreetmap.de/svn/trunk@6185 0c6e7542-c601-0410-84e7-c038aed88b3b
fix #8543 - new tagchecker warning: numerical key

git-svn-id: http://josm.openstreetmap.de/svn/trunk@6186 0c6e7542-c601-0410-84e7-c038aed88b3b
fix #9014 - add `tourist_bus` to road restriction preset

git-svn-id: http://josm.openstreetmap.de/svn/trunk@6187 0c6e7542-c601-0410-84e7-c038aed88b3b
Merge branch 'master' into mirror