Check for buffer load marker in idris-load-sync

Fixes #174.