Images recipes for Raspberry Pi 64b

Added recipes for RPi 3/4 in 64b mode booted via u-boot -- both for APT and ostree images.

Added gitlab-ci to integrate images into pipeline. No tests added since we have no test boards in LAVA.

Generated images tested manually.