log tests/has space.ur

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