update documents
	new file:   doc/internal/note_change_ts.pdf
	new file:   doc/internal/note_ldi_interface.pdf
	new file:   doc/internal/note_model.pdf
	new file:   doc/internal/note_model_09.pdf
	new file:   doc/internal/note_profile.pdf
	new file:   doc/internal/note_solve_ldi.pdf
	new file:   doc/internal/perf_analysis_notdone.pdf
	new file:   doc/internal/report_basic_circuits.pdf
	new file:   doc/internal/report_latch_atva.pdf
	new file:   doc/internal/report_latch_ff.pdf
	new file:   doc/internal/report_rro_meta.pdf
	new file:   doc/internal/report_rro_meta_prove.pdf
	renamed:    doc/aspdac08-talk.pdf -> doc/pubs/aspdac08-talk.pdf
	renamed:    doc/aspdac08.pdf -> doc/pubs/aspdac08.pdf
	renamed:    doc/async10-talk.pdf -> doc/pubs/async10-talk.pdf
	renamed:    doc/async10.pdf -> doc/pubs/async10.pdf
	renamed:    doc/async11.pdf -> doc/pubs/async11.pdf
	renamed:    doc/dvcon10-talk.pdf -> doc/pubs/dvcon10-talk.pdf
	renamed:    doc/fac11-talk.pdf -> doc/pubs/fac11-talk.pdf
	renamed:    doc/fac11.pdf -> doc/pubs/fac11.pdf
	renamed:    doc/fmcad07-talk.pdf -> doc/pubs/fmcad07-talk.pdf
	renamed:    doc/fmcad07.pdf -> doc/pubs/fmcad07.pdf
	renamed:    doc/fmcad08-talk.pdf -> doc/pubs/fmcad08-talk.pdf
	renamed:    doc/fmcad08.pdf -> doc/pubs/fmcad08.pdf
	renamed:    doc/fmcad12-talk.pdf -> doc/pubs/fmcad12-talk.pdf
	renamed:    doc/fmcad12.pdf -> doc/pubs/fmcad12.pdf
	renamed:    doc/fmsd13.pdf -> doc/pubs/fmsd13.pdf
	renamed:    doc/hs98.pdf -> doc/pubs/hs98.pdf
	renamed:    doc/hs99.pdf -> doc/pubs/hs99.pdf
	renamed:    doc/macis06-talk.pdf -> doc/pubs/macis06-talk.pdf
	renamed:    doc/macis06.pdf -> doc/pubs/macis06.pdf
	renamed:    doc/ms06-talk.pdf -> doc/pubs/ms06-talk.pdf
	renamed:    doc/ms06.pdf -> doc/pubs/ms06.pdf
	renamed:    doc/phd11-talk.pdf -> doc/pubs/phd11-talk.pdf
	renamed:    doc/phd11.pdf -> doc/pubs/phd11.pdf
	renamed:    doc/proposal-talk.pdf -> doc/pubs/proposal-talk.pdf
	renamed:    doc/proposal.pdf -> doc/pubs/proposal.pdf
add documents