Merge pull request #519 from tobiasjakobi/master

lima video driver
(Menu) Add menu driver selection
(Emscripten) Rename frontend_emscripten.c to frontend/platform/platform_emscripten.c
video_lima: remove unused and redundant variables
video_lima: whitespace fixes