A Dataset for StarCraft AI \& an Example of Armies Clustering