Deep Learning for General Game Playing with Ludii and Polygames