Get open declarations at specific locations
Print relevant open declarations while generating signatures

Close #698.
Add extra new lines before open declarations
Merge branch 'master'
Merge pull request #726 from dungpa/open-declarations

Add open declarations to generated signatures