Opera Mini now supports video downloads