A rather ugly fix for #39
Renaming - suffixes for both Labeled implementations
Renaming - suffixes for the only usefull LabelFree implementations
Suffixes for labeled with lists
Cosmetic change in red_get_val
Real permut_dec finished, #38 to close
Merge branch 'master' of github.com:Ayertienna/IS5

Conflicts:
	PermutLib.v