[polyml] Move to Subversion