print more helpful error for 32-bit Ubuntu 14.04 in install script. Closes #272
print more helpful error for 32-bit Ubuntu 14.04 in install script. Closes #272

davetcoleman/ompl,utiasASRL/batch-informed-trees,utiasASRL/batch-informed-trees,utiasASRL/batch-informed-trees,jvgomez/ompl,jvgomez/ompl,florianhauer/ompl,jvgomez/ompl,davetcoleman/ompl,florianhauer/ompl,florianhauer/ompl,utiasASRL/batch-informed-trees,jvgomez/ompl,florianhauer/ompl,florianhauer/ompl,utiasASRL/batch-informed-trees,jvgomez/ompl,davetcoleman/ompl,jvgomez/ompl,davetcoleman/ompl,davetcoleman/ompl,florianhauer/ompl,davetcoleman/ompl,utiasASRL/batch-informed-trees