log tests/csdebug.ur

age author description
2011-12-03 Adam Chlipala Change client-side debug to use console.debug