Added info about functional spec to readme.