Replace the codename with our official name

We've been using "Vanellope" as our official name for a while now, the
repository was renamed a couple of weeks ago, our website had been
updated a while ago too, time to do so with the actual software (which
was inconcistently also already using the Vanellope trademark).