Make documentation multi-versioned

• use mike to provide switch for versions
• show (potentially unstable) version in branch dev as dev