Adds ido-ubiquitous to prelude-packages