Add zeros to beginning of bit string when too short
Merge branch 'redis' of github.com:SeerLabs/CiteSeerExtractor into redis