updating crux version

git-svn-id: http://crux-framework.googlecode.com/svn@5016 a5d2bbaa-053c-11de-b17c-0f1ef23b492c
setting SNAPSHOT suffix once we didn't have released this version yet

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