ci: convert to scripted pipeline
    
    Declarative pipeline was nice for one system but it become quite
    unflexible for testing on multiple systems. Many things must have
    been solved by various hacks. Writing the Jenkinsfile as scripted
    pipeline is much more flexible.
    
    Reviewed-by: Tomáš Halman <thalman@redhat.com>