Get legalistic about use of override without virtual#2253

peterschrammel merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:documentation/override2peterschrammel/cbmc:documentation/override2Copy head branch name to clipboard