X86 Specification

- Finished to add semantics of: (V)PEXTRB, (V)PEXTRW, (V)PEXTRD, (V)PEXTRQ
- Bug fixes