Fixes build/full and build/full/rec by using trash instead of clean
Merge branch 'hotfix' into dev
Implements the time.ext.mk extension
Implements the history.ext.mk extension
Merge branch 'dev'