added strong_le in beFMapAVL.v

- added strong_le
- removed a use of memory join in the valdiation
minor (string of location)
membership check in worklist
Merge branch 'master' of github.com:skcho/zooberry
removed some compile warnings