Use libgdx 1.2.0, add publishing