Updates for the User Manual

I've updated the installation instructions for Bicho dependencies, updated the list of backends available, and generally improved the prose (grammar, punctuation, consistent whitespace, etc.).