Add output command option for SrcLineMapping

This output filename is stdout by default. The command -mapping-output
can be given when user calls the srcline-mapping module pass.
Change the diagnosis to Giri in header
Add error handler while reading the criterion file
Add criterion for pca test case

Note that we have not fully verify the slices manually yet.