Add recipe for propfont-mixed.

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