Collocation Software for Boundary-Value ODEs