add vendorized versions of globocom-player (00a3b4424a) and mangui-hlsprovider (93c13c80ef)