fix CVSweb links

cvsweb moved from www.open... to cvsweb.open... some months ago.