changed crux version in pom.xml and other things

git-svn-id: http://crux-framework.googlecode.com/svn@4731 a5d2bbaa-053c-11de-b17c-0f1ef23b492c