Add boxproof package and an use sample.