Merge branch 'patterns' of ssh://repo.or.cz/srv/git/pachi into patterns