Since we're hacking the file format, go ahead and add crispness
(Rubberband-specific) as a file parameter, even though there has not
been a firm decision to implement yet...