rpi-firmware: bump
linux: bump to 3.12.20
rpi-userland: bump
rpi-userland: new option to install tools to target

In some cases the userland programs such as raspivid can be useful.