Add miniglog to package MINIGLOG