update cnapic

Merge pull request #24 from netverify/2.0-fix-links

2.0 fix links

Rename 2020-07-20-the-verification-synthesis-spectrum.md to 2020-08-3…

…1-the-verification-synthesis-spectrum.md

Update date for Aalwines

Merge pull request #19 from agember/talk-to-an-operator

Talk to a network operator today

Merge branch 'master' of github.com:netverify/netverify.github.io

update date for george's post

Merge pull request #13 from netverify/publish-lvanbever

fix date

Merge pull request #4 from netverify/fix-link

fix broken link in welcome post