Tool for maintaining Debian Linux apt package manually-installed status