web: Remove dev dependency

The vue dev tools are a bit useless as we don't use the dev mode of
vite and instead serve the assets with gpgol-server. This reduce
considerably the number of dependency.

Also add a tiny bit of documentation in case the dist folder needs to be
rebuild.