adding Isabelle startup scripts

works on my machine
starting with a model of a network
...
updated AFP to afp-2014-01-25

Isabelle2013-2
adaped my thys for new AFP
link from
test
..
forwarding packets
tuned
added type to packet header
reachable
comment
test about packet views
testing ..
more on view
more on view
reachable_spoofing im view
view im reachable spoofing
refactored