Updated "Software Requirements Specification" with new revisions

* Updated use cases w/ Entry and Exit conditions
* Added a problem definition
* Added extensions to use cases
* Added new material where it was needed