* version updated to 0.9.10
Merge branch 'shai' into var-stack

merge with branch shai