[z3-five] Issue tracker

[Philipp von Weitershausen]

Hi there,

thanks to Holger (thanks, Holger!), we now have an issue tracker for the 
whole z3 base at http://codespeak.net/issues/z3/. You will need to sign 
up in order to create new issues; codespeak svn accounts do not work.

Codespeak uses roundup for issue tracker software (for now at least). If 
you want certain people to know about issues, be sure to make them 
"nosy". They will then receive an email everytime the issue is edited. 
Be sure not to forget to make yourself nosy. You can also reply to 
emails sent out by the issue tracker; it will be appended to the issue 
message log.

For now I propose to use keywords on issues to separate the issues of 
the different sub-projects. I have already created the "Five" and 
"sqlos" keywords.

With best regards,

Philipp