[Docker] configure catkin to install

Created by: nim65s

follows #11

While here, avoid docker build failures because of gpg keyservers, by downloading keys in http.