Add documentation for SPL and MAUDE

Thanks to Adam for making most of these changes!

R: @merges