Add option to choose to install doc or not

We'd like to handle docs by ourselves, so sometimes we don't need to install them.