differentiator: main: fix output labeling (we take the square root, so the error is not squared).
differentiator: main: do not add zero terms to the error.
differentiator: lexer: hack-fix parsing floating-point integers.
differentiator: prettify CMakeLists.txt and install the resulting binary.