mpv: update to stable version 0.3.7

Also:
* minor waf update (reflecting bootstrap.py)
* lua5_sockets inclusion (not detected yet)
mpv: minor updates and cleanup

E.g. parameterize lua.