Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components Irreducibility and stable rationality of the loci of curves of genus at most six with a marked Weierstrass point 