Website output: published via salsa pipeline

Add a Salsa pipeline to generate and publish the website output (see #5 ) on push.