Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems