Make redock available for end users

The redock command can be useful outside of dock. Would be good to make it public.