VeriDevOps Framework - final version

Summary
Final cut-off for the public release of the VeriDevOps framework.