Generate rdoc documentation
Generate rdoc documentation

This needs an extension to rdoc to work properly. Not sure where to
put this extension yet, since its useful for other swig projects as
well. Will probably end in separate package, adding to satsolvers
build requirements.

ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver