Some tiny fixes
  * Options are optionnal for picking manager
  * Update GlobWeb to fix picking problem in galactic mode
  * Tiny simplification for healpix cut service