More work on introduction

- Updated latex Makefile
- Fixed formatting and page numbering
Fixed RSA test for Android

- Changed keysize to 3072 bits to match the security level of 256 bit
  EdDSA keys