added clingo versions to asprin and heuristic
minor in asprin
minor
updated heuristic part
updated guide for asprin 3
updated asprin section