Migration: Tuakiri: add script fetching remote DB

Add a script fetching a remote DB dump and loading it into a local DB,
taking care of restarting Tomcat.

Useful when migrating FR between hosts to load the existing DB onto a
new host - and trial out migration as many times as needed.