private async void Compute_Click(object sender, RoutedEventArgs e)
{
String X = await refiner.Refine();
var dialog = new MessageDialog("Solution path: " + X);
await dialog.ShowAsync();
}
public async void compute()
{
//TODO: do more elaborate progress tracking ;)
finished = false;
await nativeRefiner.Refine();
finished = true;
}