Trying to fix Travis-CI build (part 1)

- Using specific SHA for nupic-linux64
- Added SemLock error workaround