9ee72d8 add history to edit_host

Authored and Committed by tkopecek 6 years ago
    add history to edit_host
    
    Hosts now have history.
    
    host table was split to host (containing ephemereal and non-editable
    data (load, activity, name, user_id)) and host_config containing
    data changeable by admins (archs, capacity, ...). This table is
    versioned and searchable via queryHistory.
    
    Fixes: https://pagure.io/koji/issue/638
    
        
file modified
+10 -2
file modified
+83 -37