Final changes for 1.4.1 release, including version updates.

[smolkaj]

I used #327 as an example, and followed the instructions mentioned in #480.

Fixed #480.

cc @antoninbas

[chrispsommers]

I think #480 (comment) indicates one more change to the .bib is in order.

[chrispsommers]

LGTM so far, needs .bib updates.

[smolkaj]

Thanks for the clarification. I just pushed a commit to update references.bib.

[smolkaj]

I'm not 100% sure these links are correct, since the version number of the spec is not mentioned in the URL. I sent a quick email to @jonathan-dilorenzo and Ryan Goodfellow to find out.

[chrispsommers]

Andy had provided what he thought were the latest links here: #480 (comment)

[smolkaj]

Thanks. They just released 1.2.5, but https://p4.org/p4-spec/docs/P4-16-v1.2.5.html does not seem to work. cc @jonathan-dilorenzo

[chrispsommers]

Yeah, the 1.2.5 link goes to an article about CREASE. And the browser tab says "Page not found." So this is the default page to show on p4.org when page isn't found? Weird.

[smolkaj]

Alright, links are fixed. Anything else? @chrispsommers @jafingerhut

[chrispsommers]

LGTM, looks like a CI failure though.

[smolkaj]

Oh no, not again :( Will fix for now by killing the cache and rebuilding, but looks like we need to find a better fix.

[jafingerhut]

LGTM. I have no knowledge to do any intelligent review of the changes to the file WORKSPACE.bazel, but all of the other changes I reviewed look good.

[chrispsommers]

@smolkaj Did this actually get done? I don't find 1.5.0 anywhere. I think this is a step after publishing 1.4.1, which is done.

I think the ultimate outcome would be to see 1.5.0 in the "working draft:"
https://p4.org/p4-spec/docs/p4runtime-spec-working-draft-html-version.html