[CI] set user for documentation upload
# from default, documentation
include(default)
-set(GFORGE_USER ci)
+set_option(GFORGE_USER siconos-ci)
set_option(WITH_SERIALIZATION ON)
set_option(WITH_BULLET ON)
set_option(WITH_DOCUMENTATION ON)
