Mr.MIRA compatibility

Added a --mira_compat option for Mr.MIRA compatibility. When enabled, it does the following:
1. Looks for a "delta" attribute in input. If present, apply the update from "delta" to decoder feature weights.
2. Output k-best translation in Mr.MIRA's format.