Remove `promptly` from toolkit-lib

[mrgrain]

There are a few remaining of uses of the promptly library inside toolkit-lib. Replace them with a coded message and an IoHost feature.