README: fix eigen missing

efyj depends (build time) to eigen3.
main: fix bad increment to run argument
io: add the fontsize element to syntax

DEX files can have a FONTSIZE element child of the REPORTS. We add this
element but without storing data.
main: add DEX information

Before starting stress mode, we show basic information from the input
problem file.