Update to media library 0.13.0 and switch to VLCKitv4
The idea is to do further v3 development on a branch in case that should be needed at all.
This MR updates to media library 0.13.0, to VLCKitv4 with the necessary script and API changes. It removes outdated patches and also removes the ARMv7s slice that will no longer be supported with v4.