Added RTLIL and Liberty syntax highlighting to manual