Remove Altera + AlteraEMU; plug in right mapping
Fix K40c latex name bug