Add openers for various formats to Waf.

For example:
```bash
./waf pdf # build the LaTeX PDF
./waf ohtml # build and open HTML docs
./waf oposter # build and open the poster
```
You get the point.