NACHOS: A finite element computer program for incompressible flow problems. Part 2: Users manual