add fricas; version bump
add open-axiom; version bump
add sbcl; build successfully by gcc 4.7.2 on linux 3.6.11