Update copyright 2018#1884

kroening merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

mgudemann:enhancement/update_copyright_2018mgudemann/cbmc:enhancement/update_copyright_2018Copy head branch name to clipboard