4.4.2

CHANGES:

• Fix GC documentation (space overhead is 120 since best-fit is default)
  (#1491 @hannesm)
• use Option in printing of GC keys (#1491 @hannesm)
• allow to use git 3.15 (#1491 @hannesm)
• allow empty noop job (addresses an issue with #1428)
  solves an issue reported by @MisterDA in mirage/mirage-www#815
  (#1491 @hannesm)