manual: GPS priority when using multiple sources

see http://forum.xcsoar.org/viewtopic.php?f=3&t=568#p2565
manual-de: device priority when using multiple sources