Add recipe for propfont-mixed.

It is a minor mode for using proportional-width fonts alongside
fixed-width space-based indentation.
Merge pull request #2316 from ikirill/master

Add recipe for propfont-mixed.