Use alabaster as doc theme if available

For the looks!