Add v0.4.0 documentation section

The monokai theme is only available in master now. It is documented, so
let's not create the impression that its available in 0.4.0 as well.