added Functional Specification to README