v2.5.2

This is a patch release contains small updates required for changes in CircleCI builds.

Additionally, some corner cases have been fixed for div and mod operators and an API method for convenient creation of array variables has been added.