Pass the current filename to F*

[msprotz]

Hey Clément,

Do you mind merging this? This is the first time in my life I'm writing elisp so I'm happy to be told if there's a better way of doing this!

Cheers,

Jonathan

[cpitclaudel]

Thanks! Looks good.

[cpitclaudel]

It would be nice to have a check in fstar-subp-start that the current buffer is indeed attached to a file. This would give a nicer error message when pressing C-c C-RET in a temporary fstar buffer.

[msprotz]

Thanks Clément!