Public Git Archive: a Big Code dataset for all