File upload

Made PDDL for Sokoban Challenge problem and loaded a python file that
will eventually be our PDDL reader.