Rename CRAXBox to crax-vagrant

Signed-off-by: Lance Chen <cyen0312@gmail.com>