log tests/spacey.urp

age author description
2011-06-15 Adam Chlipala Handle spaces in filenames passed to GCC (caught by Zachary Tatlock)