Feature: Play against randoms

Currently, one can only play against friends. The database shows, that many players have no friends at all, which makes the app somewhat useless for them (as single player is also not available yet). We should implement a feature for requesting to play against a random player (who also is interested in playing some randoms).