Add note for next steps in build_rpm and deb

We should eventually convert these to a Makefile. Until then, an idea
for putting RPM and deb into an artifacts directory which we can then
save all contents in Jenkins.
Allow GTK theme to add its property listeners before this one