Algorithm for computing the moduli space of pointed Gorenstein curves with Weierstrass gap sequence \(1,2,\ldots,g-2,\lambda,2g-3\) The rationality of the moduli space of genus-4 curves endowed with an order-3 subgroup of their Jacobian 