Links for cbmc-viewer