fix #9076, fix #9213:
 - Presets: add `internet_access` preset, remove useless default `board` value for `board_type` (modified patch by skyper)
 - Validator: deprecates `board_type=board`

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