add ghcjs-boot --reboot support: rebuild core packages quicker by replaying a log of an earlier boot