Deal with language / framework changes

Update Lens.idr to deal with the refl -> Refl rename
Update Quartz.idf to deal with clang argument passing procedure
Update quartz.m in accordance with isue #8