Add recipe for propfont-mixed.

It is a minor mode for using proportional-width fonts alongside fixed-width space-based indentation.