twelf-check script
add usage examples to scripts