GitLab

Still some stuff to fix

Much easer to grep for :)

Now they are named to make it easier to distinguish which is which in
the source

You can now pass a command line arg to scribble to turn on CloudLab
mode. Right now, all this does is change the binding for @(tb)

Use @(tb) instead of "Apt", "CloudLab", etc. to make it generic.

I left alone a couple of pages that are going to always be apt-specific

Just a copy of the Apt manual for now

Make all #:tags somewhat consistent

Always use @seclink instead of @secref. The latter is neat, but it's
just too hard to keep track of what the titles are.

Make all @seclinks resolve (in some cases creating stub sections)