MIPT-MIPS 2018 release 2

Micro-architectural precision:

• Support bypass for MIPS mthi instruction by Denis Los

Quality assurance:

• Sequence identifier of executed instruction by Yan Logovsky and Pavel Kryukov
• Code coverage tracking with CodeCov by Pavel Kryukov
• Infrastructure to select MIPS ISA version by Pavel Kryukov

Bug fixes:

• MIPS64: fixes for LWL, SWL, and SRL instructions by Pavel Kryukov

Integration of portable libraries:

• Catch2: single-header framework for unit tests. Integrated by Vyacheslav Kompan and Pavel Kryukov.
• POPL: single-header options parser developed by Johannes Pohl. Integrated by Pavel Kryukov.
• ELFIO: C++ ELF parser developed by Serge Lamikhov-Center. Integrated by Pavel Kryukov.

New manuals:

• „IPC sensitivity to cache line size“ by Aleksandr Misevich

External PRs:

• POPL: see 1.2.0 release notes
• ELFIO: serge1/ELFIO#26, serge1/ELFIO#27