README: update links to CI badges, Docker images

README.md

@@ -2,12 +2,13 @@
 
 | Linux | Windows |
 |---------|-------|
-| [![Linux](https://msr-project-everest.visualstudio.com/Everest/_apis/build/status/QuackyDucky/QuackyDucky-Linux?branchName=master)](https://msr-project-everest.visualstudio.com/Everest/_build/latest?definitionId=36&branchName=master) | [![Windows](https://msr-project-everest.visualstudio.com/Everest/_apis/build/status/QuackyDucky/QuackyDucky-Windows?branchName=master)](https://msr-project-everest.visualstudio.com/Everest/_build/latest?definitionId=45&branchName=master) |
+| [![Linux](https://msr-project-everest.visualstudio.com/Everest/_apis/build/status/QuackyDucky/QuackyDucky-Linux?branchName=master)](https://msr-project-everest.visualstudio.com/Everest/_build/latest?definitionId=36&branchName=master) | [![Windows](https://msr-project-everest.visualstudio.com/Everest/_apis/build/status/QuackyDucky/everparse-windows-minimal-ci?branchName=master)](https://msr-project-everest.visualstudio.com/Everest/_build/latest?definitionId=50&branchName=master) |
 
 EverParse is a framework for generating verified secure parsers from DSL format specification languages.
 It consists of LowParse, a verified combinator library (in `src/lowparse`), and QuackyDucky, an untrusted message format specification language compiler.
 
 For more information, you can read:
+* The [EverParse project website](https://project-everest.github.io/everparse)
 * our [Microsoft Research blog post](https://www.microsoft.com/en-us/research/blog/everparse-hardening-critical-attack-surfaces-with-formally-proven-message-parsers/)
 * our [USENIX Security 2019 paper](https://www.microsoft.com/en-us/research/publication/everparse/).
 
@@ -18,13 +19,14 @@ We recommend to setup your environment using the [everest script](https://github
 
 ## Container Images
 
-Our CI maintains up to date Docker images on DockerHub for [Linux](https://hub.docker.com/r/projecteverest/quackyducky-linux) and [Windows](https://hub.docker.com/r/projecteverest/quackyducky-windows-nt)
+EverParse is part of [Project Everest](https://project-everest.github.io). Everest CI maintains up-to-date Docker Images on Docker Hub for [Linux](https://hub.docker.com/r/projecteverest/everest-linux). Those Docker images include a fully built and tested EverParse in the `quackyducky` subdirectory.
 
 ## Usage
 
 ### Example format description files
 
 [Complete TLS 1.3 message format of miTLS](https://github.com/project-everest/mitls-fstar/blob/dev/src/parsers/Parsers.rfc)
+
 [Bitcoin blocks and transactions](https://github.com/project-everest/everparse/blob/master/tests/bitcoin.rfc)
 
 ### Building