Doxygen: disable customized tabs on master branch (not working yet)