WIP: Paket

Doesn't work yet
If Paket generates this file in a different location, this should be removed.