add unified interface for accessing file system
searched and replaced GeneratedFreshVar with GeneratedAnonVar
renamed method Variable#getFreshVar to getAnonVar
renamed Variable#getFreshVar to getAnonVar
add back sqrtFloat function
fix Omer's minor comment
Merge pull request #1070 from dwightguth/file2

add unified interface for accessing file system
Merge pull request #1081 from dwightguth/sqrt

add back sqrtFloat function
Merge pull request #1079 from yilongli/rename-GeneratedFreshVar-to-GeneratedAnonVar

Rename generated fresh var to generated anon var
addressed Yilong's comments
Merge remote-tracking branch 'upstream/master'

Conflicts:
	java-backend/src/main/java/org/kframework/backend/java/compile/DataStructureToLookupUpdate.java
forgot to add file