doxygen: allow external theme from configure

Allow the configure script to substitute the theme used in the
documentation for Awesome doxygen css from the CI script.

The theme won't be mandatory, but we can change it and inject it for the
production documentation online.