[OLPC Security] Very minor changes to bitfrost.txt

[Heather Lonsdale]

Hello,

I'm very new to open source and wanted to make a small contribution,
so I added a table of contents to dev.laptop.org/security/bitfrost.txt
(http://dev.laptop.org/ticket/1037).

Thanks.