Add a command to print metrics for a given phi expression

[deemp]

• the transform command performs transformations of terms
• the metrics command reads an expression from stdin or from a file and prints metrics in JSON (see the metrics).