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.