Check for buffer load marker in idris-load-sync

Fixes #174.
Merge pull request #175 from david-christiansen/issue/174

Check for buffer load marker in idris-load-sync