Change the prelude to serialize as JS rather than JSON. Fixes #79.