Use larger patterns

[ujh]

Figure out how michi uses patterns larger than 3x3 and do it the same way.

• Use the patterns files from Michi
• If michi uses the larger patterns in the tree use them there, too
• If michi uses the larger patterns in the playouts use them there, too

[ujh]

Implemented in #298.