A BDDC algorithm for the Stokes problem with weak Galerkin discretizations. (15th July 2018)