halfempty-0.40

• Tune halfempty defaults to better handle very large inputs sanely.
• A new --gen-intermediate option to save your work if halfempty is interrupted.
• Portability fixes.