Doxygen automatic upload works; changed build rules so that the doc is uploaded only when we push to the _stable_ branch