User Manual updates

Created by: pascalgouedo

Updated mimpid description (issue #840 (closed)). Renamed cv.slet/cv.sletu to cv.sle/cv.sleu (issue #833 (closed)). Changed Post-Increment Load/Store syntax with respect to proposals and final vote. Moved Synthesis Guidelines from Introduction section to Core Integration one.