Implement gitlab pages documentation

At least, for general info, installation instructions, and a brief "user manual".

Use CI to auto-update that on commit – probably from main.