add rstan gplv3 license