Moving ASaP files into ASaP directory
(except for the root file SafeParallelismChecker.cpp)
Merge branch 'asp' into dev/prolog