Move main code to virt_df_main.ml and provide explicit interface virt_df.mli