changed VERSION number to 1.13.0 for release
changed VERSION number to 1.13.0 for release

p4lang/behavioral-model,p4lang/behavioral-model,p4lang/behavioral-model,p4lang/behavioral-model,p4lang/behavioral-model