Quick guide for converting from JAGS or BUGS to NIMBLE