documentation tests

Fixes #1
Don't ignore scade2b/tests
check_clean removes *.ok and *.diff