Website — Tangled Integration and Removal

Tangled removal

Removed tangled repository cards and the service layer from the website. Removed the welcome heading and tangled card from the homepage. The Tangled integration was added in October 2025 but is no longer needed.

Also added a navigation progress bar for page transitions and a Nix flake for reproducible development.