Merging in remote changes

hpvm/docs/specifications/hpvm-spec.rst

hpvm/docs/specifications/index.rst

hpvm/docs/tradeoff-curves/alexnet2_cifar10.pdf

hpvm/docs/tradeoff-curves/alexnet2_cifar10.png

hpvm/docs/tradeoff-curves/alexnet_cifar10.pdf

hpvm/docs/tradeoff-curves/alexnet_imagenet.pdf

hpvm/docs/tradeoff-curves/index.rst

hpvm/docs/tradeoff-curves/lenet_mnist.pdf

hpvm/docs/tradeoff-curves/mobilenet_cifar10.pdf

hpvm/docs/tradeoff-curves/resnet18_cifar10.pdf

hpvm/docs/tradeoff-curves/resnet50_imagenet.pdf

hpvm/docs/tradeoff-curves/vgg16_cifar10.pdf

hpvm/docs/tradeoff-curves/vgg16_cifar100.pdf