data mined from github
removed
moved rascal code in subfolder
removed
github data miner bash script
moved