Crefl frontend can now output binary files and has some extra command
line flags for testing. Still need to do the major step of interpolation
based on resolution/navigation.