objfw-new: Document short options