Adds miniglog to CoreDev sub-packages