ActiveMath: latest development updates