open-axiom repository from github
++ Contributed by Luke Wagner -- Exposed a `missing function' bug. sqrt 2
