man/push: Document --no-archive
libemu: Fix stray whitespace
libemu: Don't filter checksum file list
Bump release version for '0.1.12'