2007-10-31: Updated User Manual

Version 6.1 of the User Manual (pdf) was published today on the Bound-T website.

This is a minor update that explains some new command-line options:

• The -alone option makes Bound-T analyse only the named "root" subprogram, not its callees.
• The -arith_ref option lets the user control which dynamic memory references are analysed with the Presburger arithmetic method.