Update prospector
Adopt cloog
New prospector version